Словарь по логике - высказывание категорическое

высказывание, в котором предикат утверждается или отрицается относительно субъекта без ограничения к.-л. условиями и вполне определенно. В. к. обычно противопоставляются условным высказываниям и разделительным высказываниям. В традиционной логике В.к., как правило, отождествляются с простыми атрибутивными суждениями (см.: Суждение). Их структура выражается формулой: "S есть (не есть) Р".